<?
function error($msg) {
	print "<div class=err ><pre>$msg</pre></div>";
	exit(1);
}

function info($msg) {
	print "<div class=info ><pre>$msg</pre></div>";
}

function redirect($url) {
	$host = $_SERVER['HTTP_HOST'];
	header("Location: http://$host/dict2trans/$url");
}
?>
